Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web

Contains fulltext : 75399.pdf (publisher's version ) (Open Access)Radboud Universiteit Nijmegen, 3 september 2009Promotor : Geuvers, J.H. Co-promotor : Wiedijk, F.141 p

Cooperative Repositories for Formal Proofs -- A Wiki-Based Solution

Item does not contain fulltex

A Real Semantic Web for Mathematics Deserves a Real Semantics

Contains fulltext : 72735.pdf (author's version ) (Open Access)SemWiki 2008, 2 juni 200

Deduction using the ProofWeb system

Contains fulltext : 72140.pdf (preprint version ) (Open Access)54 p